![]() | MENTAL, UN LENGUAJE OPERATIVO Y DESCRIPTIVO |
(x = a+a) // ev. (x = 2*a)
(x = a*a) // ev. (x = a^2)
(a b c)/(a=3) // ev. (3 b c)
{a 2*a 3*a}/(a=3) // ev. (3 6 9)
(1 2)∪(3 4) // ev. (1 2 3 4) ev. 1234
{a b}∪{c d} // ev. {a b c d}
〈( f(x y) = (x+y x*y) )〉 // describe una función
{〈( n ← n>5 )〉} // representa al conjunto de números naturales mayores que 5
([[a b] [1 2 3]]) // representa a (a 1 a 2 a 3 b 1 b 2 b 3)
1…100 // representa a la expresión abierta 1 2 3 ... 100
1…10 // representa a la secuencia (1 2 3 ... 10)
(1 3 … 13) // representa a la expresión abierta 1 3 5 7 9 11 13
12☆5 // representa a la expresión abierta 12 12 12 12 12
12★5 // representa a la secuencia (12 12 12 12 12)
([[a b] [1…3]]) // representa a (a 1 a 2 a 3 b 1 b 2 b 3)
[[a b]☆3]
// representa a [[a b] [a b] [a b]]
, que a su vez representa a a a a a a b a b a a b b b a a a a b a b a a b b
〈( f(x y) = (x+y x*y) )〉
〈( g(x) = f(x 3) )〉 // se evalúa como 〈( g(x) = (x+3 x*3) )〉